Relevant Logics Obeying Component Homogeneity
نویسندگان
چکیده
منابع مشابه
Relevant and substructural logics
This is a history of relevant and substructural logics, written for the Handbook of the History and Philosophy of Logic, edited by Dov Gabbay and John Woods.
متن کاملInformation Flow and Relevant Logics
2 Routley-Meyer Frames Relevant logics are interesting things. One motivating principle for these logics is the requirement that if a conditional of the form ! is to be true, there must be a connection between and . The antecedent must somehow be relevant to the consequent . This is simple to chart prooftheoretically, and for years, this was how relevant logics were studied. (A great deal of th...
متن کاملRelational Databases and Homogeneity in Logics with Counting
We define a new hierarchy in the class of computable queries to relational databases, in terms of the preservation of equality of theories in fragments of first order logic with bounded number of variables with the addition of counting quantifiers (C). We prove that the hierarchy is strict, and it turns out that it is orthogonal to the TIME-SPACE hierarchy defined with respect to the Turing mac...
متن کاملSemantic Decision Procedures for Some Relevant Logics
This paper proves decidability of a range of weak relevant logics using decision procedures based on the Routley-Meyer semantics. Logics are categorized as -logics, for those proved decidable using a filtration method, and -logics, for those proved decidable using a direct (unfiltered) method. Both of these methods are set out as reductio methods, in the style of Hughes and Cresswell. We also...
متن کاملProof Theoretical Studies on Semilattice Relevant Logics
The semilattice relevant logics ∪R, ∪T, ∪RW, and ∪TW (slightly different from the orthodox relevant logics R, T, RW, and TW) are defined by “semilattice models” in which conjunction and disjunction are interpreted in a natural way. In this paper, we prove the equivalence between “LK-style” and “LJ-style” labelled sequent calculi for these logics. (LKstyle sequents have plural succedents, while ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2018
ISSN: 1448-5052
DOI: 10.26686/ajl.v15i2.4864